1. Combinatorial functors
پدیدآورنده : Crossley, John N.
کتابخانه: (طهران)
موضوع : ، Functor theory,، Combinatorial analysis
رده :
QA
169
.
C7
1974
2. Combinatorial functors
پدیدآورنده : Crossley, John N.
موضوع : ، Functor theory,، Combinatorial analysis
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Communities of learning :
پدیدآورنده : edited by Constant J. Mews and John N. Crossley.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Civilization, Medieval.,Knowledge, Sociology of.,Learning and scholarship-- History-- Medieval, 500-1500.,Social networks-- Europe-- History.,Civilization, Medieval.,Geistesleben.,Intellectual life.,Knowledge, Sociology of.,Learning and scholarship-- Medieval.,Lernen.,Netzwerk.,Social networks.,Europe, History, 476-1492.,Europe, Intellectual life, To 1500.,Europa.,Europe., 0, 0, 7, 7
رده :
CB353
.
C65
2011
4. Constructive order types
پدیدآورنده : Crossley, John N.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
C795
5. Constructive order types
پدیدآورنده : Crossley, John N
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
C795
6. Logical Methods
پدیدآورنده : edited by John N. Crossley, Jeffrey B. Remmel, Richard A. Shore, Moss E. Sweedler.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Logic, Symbolic and mathematical.,Mathematics.
7. Logical methods : in honor of Anil Nerode's Sixtieth birthday
پدیدآورنده : John N. Crossley...]et al.[, editors
کتابخانه: (طهران)
موضوع : ، Logic programming,، Logic, Symbolic and mathematical,، Nerode, Anil, 2391-
رده :
QA
76
.
63
.
L63
8. Sets, models and recursion theory : Proceeding of the Summer School in Mathematical Logic and of the Tenth Logic Colloquium, Leicester, August-September, 1965
پدیدآورنده : Edited by John N. Crossley
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
S847
9. Sets, models and recursion theory. Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965
پدیدآورنده : Edited by John N. Crossley
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
S86
1965
10. The emergence of number
پدیدآورنده : Crossley, John N.
کتابخانه: (طهران)
موضوع : ، Numbers, Complex,، Numbers, Real
رده :
QA
255
.
C76
1987
11. Tractatus de tonis /
پدیدآورنده : Guy of Saint-Denis ; edited and translated by Constant J. Mews, Carol J. Williams, John N. Crossley, and Catherine Jeffreys.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Guido,Tractatus de tonis.,Tractatus de tonis (Guido, de Sancto Dionysio),Church music-- Catholic Church, Early works to 1800.,Church music-- France-- Saint-Denis, Early works to 1800.,Music theory-- History-- 500-1400.,Music theory, Early works to 1800.,Tonarius.,Church music-- Catholic Church.,Church music.,Music theory.,Tonarius.,France, Saint-Denis., 7
رده :
MT5
.
5
.
G85
2017
12. programs-as-Adapting proofs
پدیدآورنده : / Iman Poernomo, John N. Crossley, Martin Wirsing
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
